Internal Database
- recorded(Key, Term, Ref)
- recorded/3 (L)
The internal database is searched for terms recorded under the key
Key.
These terms are successively unified with Term in the
order they occur in the database; at the same time, Ref is unified
with the database reference of the recorded item.
The key must be given, and may be an atom or complex term.
If it is a complex term, only the principal functor is significant.
- recorda(Key, Term, Ref)
- recorda/3 (L)
The term Term is recorded in the internal database as the first item
for the key Key, where Ref is its database reference.
The key must be given, and only its principal functor is significant.
- recordz(Key, ITerm, Ref)
- recordz/3 (L)
The term Term is recorded in the internal database as the last item
for the key Key, where Ref is its database reference.
The key must be given, and only its principal functor is significant.
- erase(Clref)
- erase/1 (L)
The recorded item or clause whose database reference is Clref is
deleted from the internal database or program.
Clref should be instantiated at the time of call.
- instance(Ref, Term)
- instance/2 (L)
A (most general) instance of the recorded term whose database reference is
Ref is unified with Term.
Ref must be instantiated to a database reference.
Note that instance/2 will not be able to access
terms that have been erased.